Ground Canonicity
نویسنده
چکیده
They are not capable to ground a canonicity of universal consistency. Abstract We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings.
منابع مشابه
A Possible Extension of a Trial State in the TDHF Theory with Canonical Form in the Lipkin Model Canonicity conditions in an extended state of the su(2)-coherent state
With the aim of the extension of the TDHF theory in the canonical form in the Lipkin model, the trial state for the variation is constructed, which is an extension of the Slater determinant. The canonicity condition is imposed to formulate the variational approach in the canonical form. A possible solution of the canonicity condition is given and the zero-point fluctuation induced by the uncert...
متن کاملAlgebraic Canonicity in Non-Classical Logics
This thesis is a study of the notion of canonicity (as is understood e.g. in modal logic) from an algebraic viewpoint. The main conceptual contribution of this thesis is a better understanding of the connection between the Jónsson-style canonicity proof and the canonicity-via-correspondence. The main results of this thesis include an ALBA-aided Jónsson-style canonicity proof for inductive inequ...
متن کاملHypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics
A b s t r a c t. Canonicity and strong completeness are well-established notions in the literature of intermediate propositional logics. Here we propose a more refined classification about canonicity distinguishing some subtypes of canonicity, we call hypercanonicity and extensive canonicity. We provide some semantical criteria for the classification of logics according to these notions and we ...
متن کاملThe Open University ’ s repository of research publications and other research outputs A different perspective on canonicity
One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a g...
متن کاملCanonicity results for mu-calculi: an algorithmic approach
We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward. In the algebraic setting of canonical extensions we examine both the usual notion of canonicity and what we will call tame canonicity. This latter concept has previously been investigated for the classical mu-calculus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره cs.LO/0304017 شماره
صفحات -
تاریخ انتشار 2003